MUON
Projects
Help
Log in
Sign up
MUON home
Help
Muon tools
Convert DGS to One
Convert DGS to One
Transforms a DGS file into a One file
Input file(s)
inDGS
Description
the DGS input file
Type
dgs
Quantifier
1 (mandatory)
Output file(s)
outONE
Description
the ONE output file
Type
one